$\vdash$  $\forall$$P$:($\mathbb{N}\rightarrow\mathbb{B}$), $x$:($\mathbb{N}$ + Top). p{-}mu($P$;$x$) $\in$ $\mathbb{P}$